下图所示的非确定有限自动机 (so为初态， S3为终态)可识别字符串( )。